DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration)
نویسندگان
چکیده
An automated counterexample reproducibility tool based on MATLAB is presented, called DSValidator, with the goal of reproducing counterexamples that refute specific properties related to digital systems. We exploit counterexamples generated by the Digital-System Verifier (DSVerifier), which is a model checking tool based on satisfiability modulo theories for digital systems. DSValidator reproduces the execution of a digital system represented by a transfer function to validate counterexamples provided by the DSVerifier tool and also to manipulate those counterexamples within other MATLAB toolboxes. Our case study shows that DSValidator can validate a set of intricate counterexamples for digital controllers used in a quadrotor attitude system within seconds.
منابع مشابه
Contour Crafting Process Plan Optimization Part I: Single-Nozzle Case
Contour Crafting is an emerging technology that uses robotics to construct free form building structures by repeatedly laying down layers of material such as concrete. The Contour Crafting technology scales up automated additive fabrication from building small industrial parts to constructing buildings. Tool path planning and optimization for Contour Crafting benefit the technology by increasin...
متن کاملاعتبار و تکرارپذیری Dual Digital Inclinometer در اندازه گیری زاویه کایفوز پشتی در زنان بالای 45 سال
Objective: Accurate measurement of thoracic kyphosis has high value in the evaluation of patients with spinal kyphosis and in assessing the effectiveness of different treatment methods. Recently, Dual Digital Inclinometer (DDI) has introduced as a non-invasive tool that can measure the kyphosis angle. According to available information there is only one published study regarding the validity an...
متن کاملContour Crafting Process Plan Optimization Part II: Multi–Machine Cases
Contour Crafting is an emerging technology that uses robotics to construct free form building structures by repeatedly laying down layers of material such as concrete. The Contour Crafting technology scales up automated additive fabrication from building small industrial parts to constructing buildings. Tool path planning and optimization for Contour Crafting benefit the technology by increasin...
متن کاملEfficacy of Pseudocolor Tool of Digital System in the Detection of Proximal Caries
Introduction: Various intraoral digital radiographic systems are available as an alternative to film-based radiography. Recent rapid progress in the field of digital radiography offers the possibility of image processing and manipulation. Pseudocolor filter is one of the tools of digital systems. The aim of this study was to compare diagnostic accuracy of proximal caries in black and white a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1610.07066 شماره
صفحات -
تاریخ انتشار 2016